<?php
/**
 * @title 2336. 无限集中的最小数字
 * @author start2004
 */

// ini_set("memory_limit", "128M");

// class Solution {
//
//     function find() {
//
//     }
// }

class SmallestInfiniteSet {
    /**
     */
    function __construct() {
        /**
         * @since 2023-11-29 记录正整数的区间
         */
        $this->numRange = [1, PHP_INT_MAX];

        /**
         * @since 2023-11-29 补充正整数，键值和数值保持一致
         * 1 => 1
         * 2 => 2
         */
        $this->extraNumArray = [];
    }

    /**
     * @return Integer
     */
    function popSmallest() {
        /**
         * @since 2023-11-29 优先补充数组取值
         */
        if($this->extraNumArray){
            $minValue = min($this->extraNumArray);

            /**
             * @since 2023-11-29 大集合中移出元素
             */
            unset($this->extraNumArray[$minValue]);
        } else {
            $minValue = $this->numRange[0];
            $this->numRange[0] += 1;
        }

        /**
         * @return
         */
        return $minValue;
    }

    /**
     * @param Integer $num
     * @return NULL
     */
    function addBack($num) {
        /**
         * @since 2023-11-29 是否在额外数组中
         */
        if(isset($this->extraNumArray[$num])){
        } elseif($num >= $this->numRange[0]) {
            /**
             * @since 2023-11-29 是否正整数区间内
             */
        } else {
            /**
             * @since 2023-11-29 增加元素到大集合
             */
            $this->extraNumArray[$num] = $num;
        }
    }
}


/**
 * @url http://127.0.0.1/leetcode/202311/2023.11.29.php
 */
$datas = [

];

include_once dirname(__DIR__) . DIRECTORY_SEPARATOR ."xhprof.php";
$xhprof = new Xhprof();
foreach ($datas as $data){
    if(count($data) <= 20){
        var_dump($data);
    } else {
        var_dump(count($data));
    }

    $obj = new Solution();
    $result = $obj->(...$data);
    // $result = $obj->($xhprof->tree($data));
    // $result = $obj->($xhprof->listNode($data));
    // $result = $obj->find(...$data);
    var_dump($result);
    // if(count($result)<=20){
    //     var_dump($result);
    // } else {
    //     var_dump(count($result));
    // }
    echo str_repeat(PHP_EOL, 3);
    echo str_repeat("<br>", 3);
}

// foreach ($datas as $data){
//     $obj = new $data[0][0](...$data[1][0]);
//
//     for ($i=1; $i<count($data[0]); $i++){
//         $func = $data[0][$i];
//         $param = $data[1][$i];
//         $result = $obj->$func(...$param);
//
//         echo $data[0][$i] ."(\"". implode(",", $data[1][$i]) ."\") ";
//             if($result === true){
//                 echo "True";
//             } elseif($result === false) {
//                 echo "False";
//             } elseif($result === null) {
//                 echo "Null";
//             } elseif(is_array($result)) {
//                 var_dump($result);
//             } else {
//                 echo $result;
//             }
//         echo PHP_EOL;
//     }
//
//     echo str_repeat(PHP_EOL, 3);
// }
$xhprof->end();
